After having defined the KARO logic for specifying intelligent agents in earlier work we now turn to the question how to realise agents specified in the KARO framework. To this end we look at agent programming languages that we have defined, and investigate how programs in these languages can be linked to the KARO logic.

The lambda calculus is a universal programming language. It can represent the computable functions, and such offers a formal counterpart to the point of view of functions as rules. Terms represent functions and this allows for the application of a term/function to any other term/function, including itself. The calculus can be seen as a formal theory with certain pre-established axioms and inference rules, which can be interpreted by models. Dana Scott proposed the first non-trivial model of the extensional lambda calculus, (...) known as $ D_{\infty }$, to represent the $\lambda $-terms as the typical functions of set theory, where it is not allowed to apply a function to itself. Here we propose a construction of an $\infty $-groupoid from any lambda model endowed with a topology. We apply this construction for the particular case $D_{\infty }$, and we see that the Scott topology does not provide enough information about the relationship between higher homotopies. This motivates a new line of research focused on the exploration of $\lambda $-models with the structure of a non-trivial $\infty $-groupoid to generalize the proofs of term conversion to higher-proofs in $\lambda $-calculus. (shrink)

One takes advantage of some basic properties of every homotopic \(\lambda\)-model (e.g. extensional Kan complex) to explore the higher \(\beta\eta\)-conversions, which would correspond to proofs of equality between terms of a theory of equality of any extensional Kan complex. Besides, Identity types based on computational paths are adapted to a type-free theory with higher \(\lambda\)-terms, whose equality rules would be contained in the theory of any \(\lambda\)-homotopic model.

Old Assyrian Legal Practices: Law and Dispute in the Ancient Near East. By Thomas Klitgaard Hertel. PIHANS, vol. 123. Leiden: Nederlands Instituut voor het Nabije Oosten, 2013. Pp. xlii + 479. €84.80.

Food media have become a formidable part of adolescents’ food environments. This study sought to explore how and why adolescents use food media by focusing on selectivity and motives for consumption. We conducted in-depth, semi-structured interviews with 31 Flemish adolescents aged 12 to 16. Food media were both incidentally consumed and selectively sought for education, social utility, and entertainment. The levels of selectivity and motives for consumption varied among the different food media platforms. Incidental consumption was more prevalent with TV (...) cooking shows compared to online food media. The dominant motives for TV cooking show consumption were companionship and entertainment, while online food media were used for a more diverse range of motives dominated by information/inspiration and social interaction. Some participants consumed food media to get motivation and inspiration to improve health and fitness while others consumed food media to watch appetizing and aesthetically pleasing food content. The social environment in the form of friends and family as well as existing food preferences were dominant psychosocial factors for both traditional and online food media use. Future research is warranted to explore how incidental exposure and the identified motives for use relate to food media effects. (shrink)

A 47-year-old woman with a history of anxiety disorder is admitted to the hospital for shortness of breath. On the third day of hospitalization, she asks her physician for a copy of all documents pertaining to her care. What expectation should she have for full disclosure? Are there limits on her access to her medical records and do her physician's concerns about professional privilege matter?The virtues of transparency in medicine have been well described. As proponents of transparency, we favor patient (...) access to their medical records, but we are increasingly troubled by the ease and extent of disclosure in current practice as technology advances and... (shrink)

Residency training in the Netherlands is to be restructured over the coming years. To this end a general competence profile for medical specialists has been introduced. This profile is nearly the same as the Canadian CanMEDS 2000 model, which describes seven general areas of medical specialist competence, one of which is professionalism. In order to establish a training programme for residents and their instructors based on this competence, it is necessary to develop a vision that does justice to everyday medical (...) practice. The two most prevailing views of professionalism—as personal, or as a behavioural characteristic—fall short of this. Only when professionalism is understood as reflective professionalism does it encompass the fundamental contextuality of medical treatment. This means that the focus of training and assessment must be shifted to accountability for treatment. (shrink)

The Kiki-Bouba effect comprises a relation between two abstract figures and two non-words: the star-shaped figure is called 'Kiki' and the rounded figure 'Bouba'. The effect is explained by a sound-vision synaesthesia: certain sounds are associated with certain shapes in a non-arbitrary manner.When we asked the participants to decide which of the two figures, the star-shaped or the rounded one, to call yin and which yang, some 85% choose the star-shaped figure as yin. There are previous cases of synaesthesia where (...) personality is attributed to numbers or letters. In our results, the word Kiki is overall happy, clever, small, thin, young, unpleasant, and nervous. The starshaped figure is overall clever, tall, small, slim, nervous, unpleasant, and upper-class. That is, the correspondence above all concerns the qualifying adjectives clever, unpleasant, and nervous, as well as the physical appearance small and thin. This brings us to the fat-thin effect. Cinema, literature, comics, and children's programmes are full of contrasting figures: Don Quixote and Sancho Panza, Laurel and Hardy , Asterix and Obelix, Tintin and Captain Haddock, Bert and Ernie , or the Spanish comic about very naughty twin boys called Zipi and Zape . Our main conclusion is that first names and last names are not entirely arbitrary. There is a correspondence between names and physical characteristics and concepts . The Kiki-Bouba effect is a semantic one. (shrink)

The past 50 years have seen an accumulation of evidence suggesting that associative learning depends on high-level cognitive processes that give rise to propositional knowledge. Yet, many learning theorists maintain a belief in a learning mechanism in which links between mental representations are formed automatically. We characterize and highlight the differences between the propositional and link approaches, and review the relevant empirical evidence. We conclude that learning is the consequence of propositional reasoning processes that cooperate with the unconscious processes involved (...) in memory retrieval and perception. We argue that this new conceptual framework allows many of the important recent advances in associative learning research to be retained, but recast in a model that provides a firmer foundation for both immediate application and future research. (shrink)

V. 1. Desde as origens partisticas até ao periodo do apogeu da escolástica.--v. 2. Desde o perfodo do apodeu da escolástica até ao fim da Idade Média, com um estudo sobre o pensamento filosófico português nos séculos XIII-XV.

L'axe principal de ce texte du philosophe polonais Emil Lask (1875-1915) est la critique de la philosophie de la valeur et la théorie de la connaissance. Son exposé est l'une des révisions du kantisme les plus radicales du début du XXe siècle.

Albert and De Ruiter provide an introduction to the Conversation Analytic approach to ‘repair’: the ways in which people detect and deal with troubles in speaking, hearing and understanding in conversation. They explain the basic turn‐taking structures involved, provide examples, explain recent developments in the field and highlight some important points of contact and contrast with work in the Cognitive Sciences.

Bringing together specialists in various fields, this volume shows that the transformation from the scholastic to more empirical approaches to psychology was a gradual process.